Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
181	Proof Optimization for Partial Redundancy Elimination Ando Saabas Tarmo Uustalu Institute of Cybernetics, Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:23:54 Predicate transformer semantics Hoare logic Partial redundancy elimination Program logic Theoretical computer science Formal methods
182	A Representation Theorem for Decisions about Causal Models Daniel Dewey Future of Humanity Institute Abstract. Given the likely large impact of artificial general intelligence, Add to Reading List Source URL: agi-conference.org Language: English - Date: 2012-12-09 10:10:55 Conditionals Causality Econometrics Regression analysis Model theory Structural equation modeling Constructible universe Substructure Counterfactual conditional Statistics Mathematics Mathematical logic
183	Evaluation of Time-Order Error Predictions from a Model of Global Psychophysics Ragnar Steingrimsson and R. Duncan Luce Institute for Mathematical Behavioral Science University of California, Irvine Ragnar Steingrimsson Add to Reading List Source URL: www.imbs.uci.edu Language: English - Date: 2014-11-04 13:01:50 Interpretation Model theory Philosophy of language Philosophy of mind Semantics Psi Function Constructible universe Linear temporal logic Mathematics Logic Mathematical logic
184	Partial Weighted MaxSAT for Optimal Planning Nathan Robinson† , Charles Gretton‡ , Duc Nghia Pham† , and Abdul Sattar† † ATOMIC Project, Queensland Research Lab, NICTA and Institute for Integrated and Intellige Add to Reading List Source URL: www.griffith.edu.au Language: English - Date: 2010-09-19 23:27:44 Operations research Mathematical optimization Logic in computer science Job shop scheduling Boolean satisfiability problem A* search algorithm Theoretical computer science Mathematics Applied mathematics
185	Propagation Networks: A Flexible and Expressive Substrate for Computation by Alexey Andreyevich Radul B.S., Massachusetts Institute of Technology (2003) Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-09-11 13:48:55 Theoretical computer science Academia Computability theory Gerald Jay Sussman Lisp programming language Logic programming Computation Computer Science and Engineering Reactive programming Software engineering Programming paradigms Computing
186	Keep Them Safe: Evaluation framework Final report Report for: The NSW Department of Premier and Cabinet Add to Reading List Source URL: www.dpc.nsw.gov.au Language: English - Date: 2011-07-14 23:50:47 Sociology Impact assessment Australian Institute of Family Studies Systems engineering process Program evaluation Logic model Evaluation Evaluation methods Science
187	The Medical Faculty of the Westfälische Wilhelms-Universität Münster offers the position of a University Professor (Full Professor; W3) for Physiology at the Institute of Physiology II (Vegetative Physiology). Add to Reading List Source URL: campus.uni-muenster.de Language: English - Date: 2015-01-30 06:42:51 Logical consequence Abstraction Axiology Inference Logic Knowledge Science
188	CALL FOR PAPERS NASSLLI 2014 STUDENT SESSION June 23-27, 2014 University of Maryland, College Park The North American Summer School for Logic, Language and Information (NASSLLI) welcomes Add to Reading List Source URL: web.pacuit.org Language: English - Date: 2014-09-16 15:33:14 Carnegie Mellon University Logic Knowledge Academia Science Institute for Logic Language and Computation
189	Factorized Multi-Modal Topic Model Seppo Virtanen1 , Yangqing Jia2 , Arto Klami1 , Trevor Darrell2 1 Helsinki Institute for Information Technology HIIT Department of Information and Compute Science, Aalto University Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-10-18 17:47:44 Topic model Statistics Latent Dirichlet allocation Modal logic Modality Linguistic modality KeY Perplexity Statistical natural language processing Logic Science
190	EUSFLAT - LFA[removed]Two-Sample Median Test for Vague Data PrzemysÃlaw Grzegorzewski Systems Research Institute, Polish Academy of Sciences Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2011-12-12 02:22:58 Kolmogorov–Smirnov test Possibility theory Normal distribution Statistical hypothesis testing T-statistic Statistics Fuzzy logic Fuzzy control system

UPDATE